A computer, electronic or electromechanical system whose

failure may cause injury or death to human beings. E.g. an

aircraft or nuclear power station control system. Common

tools used in the design of safety-critical systems are

redundancy and formal methods.